Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
541	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics
542	™ Existing AIDC hardware using SwiftVerify quickly and accurately verifies 1D and Postal bar codes based on ISO/IEC, ANSI and Add to Reading List Source URL: www.omniplanar.com Language: English - Date: 2007-02-09 15:54:58 Barcode Encodings Notation Formal methods Procedural programming languages Verification and validation C Software development process E Automatic identification and data capture Computing Science
543	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design
544	Novel Approaches to Numerical Software with Result Verification Laurent Granvilliers , Vladik Kreinovich , and Norbert Müller Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2003-10-13 19:19:43 Interval arithmetic Constraint satisfaction Constraint logic programming Local consistency Interval Integral Numerical analysis Mathematical optimization Probability box Constraint programming Mathematics Applied mathematics
545	Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-06-10 05:40:58 Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming
546	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-10-21 17:24:43 Science Model checkers Theoretical computer science Automata theory ISO standards Modeling language Domain-specific modeling Formal verification Promela Software engineering Unified Modeling Language Scientific modeling
547	SIRIS The Only Backup and Disaster Recovery Solution That Offers Full Remote Management · Instant Off-site Virtualization · True Backup Verification The Siris Difference Siris uses a new technology that dramatically s Add to Reading List Source URL: www.ttj.com Language: English - Date: 2014-04-19 23:45:53 System software Backup Virtualization VMDK RMAN Hardware virtualization Backup software Computing Software
548	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
549	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-03 05:26:01 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
550	The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool REFERENCE MANUAL The Ciao Documentation Series http://www.ciaohome.org/ Generated/Printed on: 15 August 2011 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2011-08-16 03:35:23 Filter Assertion Computer programming Software engineering Computing

UPDATE